T2

Axioma de separación $T_2$

Un espacio topológico $(X,\mathcal{T})$ se dice que es $T_2$ (o un espacio de Hausdorff) si para todo par de puntos distintos $x,y\in X$, existen entornos $U$ y $V$ de $x$ e $y$, respectivamente, tales que $U\cap V=\varnothing$.